algorithm N - N3:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                  212310679     215513186     214069791     207211324     849104980
correct_count:                 104893240     107417440     105974044     101237280     419522004
incorrect_count:               107417439     108095746     108095747     105974044     429582976
taken_count:                   107417439     108095746     105974044     101237280     422724509
not_taken_count:               104893240     107417440     108095747     105974044     426380471
current state:              NT saturated

algorithm N - N3 i == j:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                  426380260           210             1             0     426380471
correct_count:                 426380050           210             0             0     426380260
incorrect_count:                     210             0             1             0           211
taken_count:                         210             0             0             0           210
not_taken_count:               426380050           210             1             0     426380261
current state:                        NT

algorithm N - N5:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                     683847       2007006       9731554     413957854     426380261
correct_count:                    133395        550452       8275000     405682855     414641702
incorrect_count:                  550452       1456554       1456554       8274999      11738559
taken_count:                      550452       1456554       8275000     405682855     415964861
not_taken_count:                  133395        550452       1456554       8274999      10415400
current state:               T saturated

algorithm N - N9:
states                      NT saturated            NT             T   T saturated         Total
branch_count:                     680142       2005454       9738146     410300767     422724509
correct_count:                    132579        547563       8280255     402020513     410980910
incorrect_count:                  547563       1457891       1457891       8280254      11743599
taken_count:                      547563       1457891       8280255     402020513     412306222
not_taken_count:                  132579        547563       1457891       8280254      10418287
current state:               T saturated

